executable specifications